2.2.4 모델 기반 오라클(Model-based Oracle): 상태 전이 다이어그램 및 수학적 모델 활용